Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
531	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-12-22 08:01:06 Applied mathematics Logic in computer science Nested word Words Formal methods Temporal logic Nesting Stack Model checking Theoretical computer science Automata theory Mathematical logic
532	Curriculum Vitae Laura Ildik´o Kov´acs A SSOCIATE P ROFESSOR Department of Computer Science and Engineering Chalmers University of TechnologyGothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-02-19 17:06:43 Logic in computer science Automated theorem proving Formal methods Artificial intelligence Automated reasoning Computer science Formal verification Model checking Symbolic computation Theoretical computer science Applied mathematics Mathematics
533	ALICe: A Framework to Improve Aﬃne Loop Invariant Computation* Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France , s-pari Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-16 04:29:27 Loop invariant Invariant Control flow Abstract interpretation State space Mathematics Science Knowledge Control theory Cybernetics Model checking
534	MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Computer science Applied mathematics Formal verification Model checking Deterministic finite automaton Nondeterministic finite automaton State transition system Models of computation Automata theory Theoretical computer science
535	Recurrent Reachability Analysis in Regular Model Checking Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-09-22 08:03:38 Computer science Applied mathematics Tree automaton Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
536	T HE EASST N EWSLETTER A Summary of: Rule Execution in Graph-Based Incremental Interactive Integration Tools Add to Reading List Source URL: www-i3.informatik.rwth-aachen.de Language: English - Date: 2009-05-27 10:53:22 Mathematics Formal methods Abstract state machines Model checking Applied mathematics Graph rewriting Theoretical computer science Graph theory
537	JCHARMING: A Bug Reproduction Approach using Crash Traces and Directed Model Checking Mathieu Nayrolles, Abdelwahab Hamou-Lhadj SBA Research Lab ECE, Concordia University Montréal, Canada Add to Reading List Source URL: users.encs.concordia.ca Language: English - Date: 2015-03-05 22:28:38 Software bug Model checkers Debugging Model checking Software testing Java Pathfinder Exception handling Bug tracking system Crash Computing Software engineering Computer programming
538	CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50 Add to Reading List Source URL: www.mat.uc.pt Language: English - Date: 2009-09-09 05:24:23 Formal languages Intuitionism Mathematical constructivism Proof theory Non-classical logic Realizability Stephen Cole Kleene Model checking Linear temporal logic Logic Mathematical logic Mathematics
539	Model-Checking Overview of Automated Verification SW/HW SW/HW artifact Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-06 13:57:58 Mathematical logic Formal languages Logical syntax Philosophy of language Interpretation Computation tree logic Well-formed formula Function Kripke structure Logic Mathematics Temporal logic
540	Report for Phase 4, the final phase. Year Add to Reading List Source URL: www.astec.uu.se Language: English - Date: 2007-09-28 09:01:26 Model checking Erlang Australian Science Technology and Engineering Council Uppaal Model Checker Software testing Reliability engineering Software development process Science Software engineering Computing

UPDATE